21. Proceedings of the Ninth International Conference on Dependability and Complex Systems
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : System theory -- Congresses,Computational complexity -- Congresses,Reliability (Engineering) -- Congresses,نظریه سیستم‌ها -- کنگره ها,پیچیدگی محاسباتی -- کنگره ها,اطمینان‌‌پذیری (مهندسی) -- کنگره‌ها
رده :
E-Book
,
22. Proceedings of the symposium characterising complex systems
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، System theory-- Congresses,، Chaotic behavior in systems-- Congresses,، Computational complexity-- Congresses
رده :
Q
295
.
I574
1989
23. Proof and system-reliability
پدیدآورنده : edited by Helmut Schwichtenberg and Ralf Steinbrüggen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer systems -- Reliability -- Congresses.,Computer systems -- Reliability.,Proof theory -- Congresses.
24. Reachability problems :
پدیدآورنده : Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
25. Theory and applications of satisfiability testing -- SAT 2019 :
پدیدآورنده : Mikoláš Janota, Inês Lynce (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer algorithms, Congresses.,Computer software-- Verification, Congresses.,Computer algorithms.,Computer software-- Verification.
رده :
QA76
.
9
.
A43
